Positive Implicative Ordered Filters of Implicative Semigroups
نویسندگان
چکیده
We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered filters. Finally we establish the extension property for positive implicative ordered filters.
منابع مشابه
ABSORBENT ORDERED FILTERS AND THEIR FUZZIFICATIONS IN IMPLICATIVE SEMIGROUPS
The notion of absorbent ordered filters in implicative semigroupsis introduced, and its fuzzification is considered. Relations among (fuzzy) orderedfilters, (fuzzy) absorbent ordered filters, and (fuzzy) positive implicativeordered filters are stated. The extensionproperty for (fuzzy) absorbent orderedfilters is established. Conditions for (fuzzy) ordered filters to be (fuzzy)absorbent ordered ...
متن کاملFuzzy Positive Implicative Ordered Filters of Implicative Semigroups
We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter. We give examples that a fuzzy (implicative) ordered filter may not be a fuzzy positive implicative ordered filter. We also state equivalent conditions of...
متن کاملSome Results on Ordered Filters of Implicative Semigroups
We introduce a special set in an implicative semigroup. Using it, an equivalent condition of an ordered filter is stated. We prove that an ordered filter can be represented by the union of such sets. 2000 Mathematics Subject Classification. 20M12, 06F05, 06A06, 06A12.
متن کاملAn Introduction to Implicative Semigroups with Apartness
The setting of this research is Bishop’s constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving s...
متن کاملSome kinds of (∈,∈ ∨ q)-fuzzy filters of BL-algebras
The concepts of (∈,∈ ∨ q)-fuzzy (implicative, positive implicative and fantastic) filters of BL-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, (∈,∈∨q)-fuzzy (implicative, positiv...
متن کامل